Logichart - Intelligible Program Diagram for Prolog and its Processing System

An intelligible program diagram called Logichart has been developed for Prolog visualization. Its syntax rules and layout rules are formalized in terms of an attribute graph grammar. This grammar consists of a context–free graph grammar whose productions are defined in such a way as to formalize the graph–syntax rules of Logichart diagrams, and semantic rules which are defined in such a way that they can extract the layout information needed to display a Logichart diagram as attributes attached to node labels. Our Prolog visualization system implemented based on the attribute graph grammar can draw a Logichart diagram for any correct Prolog program (completeness), and any Logichart diagram displayed by the system is always valid for the grammar (soundness). The system can also display the execution of a Prolog program in real time; that is, the Logichart diagram is dynamically updated as the program runs.